sorted($L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$L$$\parallel$}}$, $j$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$i$}}$. $L$[$j$]$\leq$$L$[$i$]